Propiedad de la intersección finita

Una colección $C$ de subconjuntos tiene la propiedad de la intersección finita si la intersección de cualquier número finito de subconjuntos de la colección es no vacía. Esto es, si cada subcolección finita

{C_{1}, C_{2}, \dots, C_{n}}

de conjuntos de $C$ tiene intersección, $C_{1} \cap C_{2} \cap \dots \cap C_{n} \neq \emptyset$ .